В математике, логике и компьютерных науках теорией типов считается какая-либо формальная система, являющаяся альтернативой наивной теории множеств, сопровождаемая классификацией элементов такой системы с помощью типов, образующих некоторую иерархию. Также под теорией типов понимают изучение подобных формализмов.
Все значения словосочетания «теория типов»К сожалению, в человеческой цивилизации, слишком любят распространять всевозможные теории типа мальтузианства, закладывающие фундамент оправдания войн и других способов самоистребления человечества.
Аналогичное утверждение справедливо и для нюансов и особенностей биржевых рынков: в вероятностной теории нет надобности их описывать и явно учитывать, в отличие от традиционных теорий типа теории эффективных рынков [Fama, 1970].
Невоантиязыковляемое есть не что иное, как антиязыковая автореференция, ограничивающая анархическую номинацию теорией типов для антислов,согласно которой противоречие между множеством и подмножеством устраняется вследствие смешения воантиязыковляемого и невоантиязыковляемого при условии их обоюдной неверифицируемости в невоантиязыковляемом классе антислов (слова, обозначающие слова, которые являются названиями референтов, не подлежащих воантиязыковлению).